semidecision procedure - Deutsch Englisch Wörterbuch